Is TinkerType still being maintained?

17 March 2014 1 3K 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

How to compare two groups with only two measurements?

Hiiiii everyone! I have an enquiry on statistical analysis. I was looking for many forum and it's still cannot solve my problem. I want to compare means of two groups of data but only with two...

03 March 2021 8,796 3 View

Hello fellow researcher .. What is the meaning of your name?

I would like to create a small guide containing the meanings of the names .. Thanks to everyone who cooperates with me in achieving it.

03 March 2021 5,266 4 View

Is There Any Feasible Method To Test Fluorescent Compounds Other Than Fluorescence Spectrometers ??

Is There Any Feasible Method To Test The Efficiency Of Fluorescent Compounds Other Than UV Spectrometers ? Suggestions Would Be Appreciated !

02 March 2021 5,785 3 View

Is it possible to do piezoelectric coupling in ANSYS-APDL or COMSOL between tapered substrate and rectangular piezoelectric patch?

How to do Piezoelectric coupling in ANSYS-APDL or COMSOL between tapered substrate and rectangular piezoelectric patch? Piezoelectric coupling between the rectangular substrate and rectangular...

02 March 2021 9,833 3 View

Does anyone know HRM channel in a 2 plex QIAGEN Rotor- Gene Q qPCR can be used as a separate channel?

I am going to have 3 different probes in my qPCR work that I am going to do. But I realized that the machine we have in the lab is a Rotor-Gene Q 2plex HRM Platform, saying it has green, yellow,...

01 March 2021 8,544 1 View

Adherance of Polyaniline coating over stainless steel?

Is the electropolymerisation of polyaniline coating over stainless steel (SS) via Cyclic voltammetry technique is really adherant? Else how to improve the adhesion of the coating, whether any...

01 March 2021 8,220 2 View

How can you bring two structures together to create an adhesive bond in LAMMPS?

I have created an Ice 1h crystalline structure and an Aluminium substrate structure and equilibrated both at 250K. Now I need to bring them together in a way that an adhesive bond is created....

01 March 2021 3,325 2 View

No title

Does anyone have the experience of using Taq Man probes in the QIAGEN Rotar- Gene qPCR machine?

01 March 2021 5,311 1 View

Why is the sum of the elements in a row in a Q matrix equal to zero?

When explaining substitution models, the substitutions are expressed as Q matrix. Why is the sum of the elements in a row zero?

28 February 2021 3,864 3 View

How to model the battery pack in PSIM or PSCAD?

Hello, I have simulated a single battery cell using Thevenin equivalent circuit. For a battery pack, I have a large number of cells connected in series and parallel connections. Is there any way...

28 February 2021 2,116 1 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