Is TinkerType still being maintained?

03 March 2014 1 8K Report

I see the associated weblink mentioned in the paper is dead. I failed to also find any project homepage. Is that because TinkerType is no longer maintained?

Article TinkerType: A Language for Playing With Formal Systems

Hossein Haeri

In a personal email exchange, Benjamin Pierce informed me that TinkerType is discontinued; neither is it subsumed by a follow-up project.

Badges
Science topic

More Hossein Haeri's questions See All

What are the research papers on Component Refinement?

I am after research which studies the impacts of refining components in a component-based software system. I am not very familiar with the research papers dedicated to the practice of CBSE. I have...

08 September 2014 1,844 0 View

How do you write a simplified C block code of this average-current control on PSIM?

This is a Buck (step-down) Converter and I am new to this program. I need to program with simplified C block and I actually don't know what to do. Can anyone show me how to do this? Or at least...

02 March 2021 8,233 1 View

Is there a powerful system for the security of the systems distributed on IoT systems?

02 March 2021 3,858 10 View

Do you know good and user-friendly programs to measure plant quantitative traits?

For my research i will need to measure plant quantitative traits (especially leaves area and roots length, but would be nice to add some more information). I recently discovered...

01 March 2021 5,035 2 View

How Relativistic effects is one reason for lanthanide contraction?

The Lanthanide contraction which is the decrease in ionic radii of the elements in the lanthanide series from atomic number 57, lanthanum, to 71, lutetium, is due to poor shielding of the 4f...

01 March 2021 2,272 4 View

Which is suitable for use with Python? MySQL or SQL Server?

Which is suitable for use with Python? MySQL or SQL Server? What is your suggestion?

01 March 2021 3,422 3 View

For modelling epoxy-based matrices (in composites), which model in ABAQUS is the most suitable, Concrete damaged plasticity or Drucker-Prager model?

I am working on developing a micromechanical FE model for predicting kink-band formation in UD composites. To model matrix plasticity, which model, out of Concrete Damaged Plasticity and...

28 February 2021 5,415 1 View

Can anyone share his experience regards Smoothing in origin?

I am working on TiO2 composite material and the results of XRD have a lot of small/junk peaks and while I apply a smooth filter in Origin then the other characteristics peaks disappear so anyone...

26 February 2021 8,183 3 View

How to plot the probability paper of Gumbel distribution using R programing?

In R-studio, there are many commands of Gumbel package. Arguments are also different. I`m asking about the alpha parameter of the Copula which must be greater than 1. If this is the one used to...

25 February 2021 5,229 3 View

How to calculate battery consumption for IoT device?

Hi, everyone I'm working on a privacy-preserving algorithm that will apply to IoT devices. So, I need to measure the power consumption by implementing this algorithm. Any suggestion, advice,...

25 February 2021 8,749 6 View

How vulnerable is water and wastewater infrastructure to cyber terrorism in an age of IoT?

Im looking for any papers, reports,articles, links etc on information on How vulnerable is water and wastewater infrastructure to cyber terrorism in an age of IoT.

24 February 2021 2,750 4 View